1.
پدیدآورنده : [by] R. L. Goodstein
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Recursive functions
رده :
QA
248
.
5
.
G6A5
2. Recursive number theory: a development of recursive arithmetic in a logic- free equation calculus
پدیدآورنده : by R.L. Goodstein
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Numbers, theory of
رده :
QA
248
.
5
.
G6N8